Optimal. Leaf size=146 \[ \frac{1}{72} x^2 (4 x+1)^{3/2} (3 x+2)^{5/2}+\frac{(4103-7968 x) (4 x+1)^{3/2} (3 x+2)^{5/2}}{829440}-\frac{8543 \sqrt{4 x+1} (3 x+2)^{5/2}}{995328}+\frac{42715 \sqrt{4 x+1} (3 x+2)^{3/2}}{15925248}+\frac{213575 \sqrt{4 x+1} \sqrt{3 x+2}}{42467328}+\frac{1067875 \sinh ^{-1}\left (\sqrt{\frac{3}{5}} \sqrt{4 x+1}\right )}{84934656 \sqrt{3}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0389412, antiderivative size = 146, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 5, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.227, Rules used = {100, 147, 50, 54, 215} \[ \frac{1}{72} x^2 (4 x+1)^{3/2} (3 x+2)^{5/2}+\frac{(4103-7968 x) (4 x+1)^{3/2} (3 x+2)^{5/2}}{829440}-\frac{8543 \sqrt{4 x+1} (3 x+2)^{5/2}}{995328}+\frac{42715 \sqrt{4 x+1} (3 x+2)^{3/2}}{15925248}+\frac{213575 \sqrt{4 x+1} \sqrt{3 x+2}}{42467328}+\frac{1067875 \sinh ^{-1}\left (\sqrt{\frac{3}{5}} \sqrt{4 x+1}\right )}{84934656 \sqrt{3}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 100
Rule 147
Rule 50
Rule 54
Rule 215
Rubi steps
\begin{align*} \int x^3 (2+3 x)^{3/2} \sqrt{1+4 x} \, dx &=\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}+\frac{1}{72} \int \left (-4-\frac{83 x}{2}\right ) x (2+3 x)^{3/2} \sqrt{1+4 x} \, dx\\ &=\frac{(4103-7968 x) (2+3 x)^{5/2} (1+4 x)^{3/2}}{829440}+\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}-\frac{8543 \int (2+3 x)^{3/2} \sqrt{1+4 x} \, dx}{110592}\\ &=-\frac{8543 (2+3 x)^{5/2} \sqrt{1+4 x}}{995328}+\frac{(4103-7968 x) (2+3 x)^{5/2} (1+4 x)^{3/2}}{829440}+\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}+\frac{42715 \int \frac{(2+3 x)^{3/2}}{\sqrt{1+4 x}} \, dx}{1990656}\\ &=\frac{42715 (2+3 x)^{3/2} \sqrt{1+4 x}}{15925248}-\frac{8543 (2+3 x)^{5/2} \sqrt{1+4 x}}{995328}+\frac{(4103-7968 x) (2+3 x)^{5/2} (1+4 x)^{3/2}}{829440}+\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}+\frac{213575 \int \frac{\sqrt{2+3 x}}{\sqrt{1+4 x}} \, dx}{10616832}\\ &=\frac{213575 \sqrt{2+3 x} \sqrt{1+4 x}}{42467328}+\frac{42715 (2+3 x)^{3/2} \sqrt{1+4 x}}{15925248}-\frac{8543 (2+3 x)^{5/2} \sqrt{1+4 x}}{995328}+\frac{(4103-7968 x) (2+3 x)^{5/2} (1+4 x)^{3/2}}{829440}+\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}+\frac{1067875 \int \frac{1}{\sqrt{2+3 x} \sqrt{1+4 x}} \, dx}{84934656}\\ &=\frac{213575 \sqrt{2+3 x} \sqrt{1+4 x}}{42467328}+\frac{42715 (2+3 x)^{3/2} \sqrt{1+4 x}}{15925248}-\frac{8543 (2+3 x)^{5/2} \sqrt{1+4 x}}{995328}+\frac{(4103-7968 x) (2+3 x)^{5/2} (1+4 x)^{3/2}}{829440}+\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}+\frac{1067875 \operatorname{Subst}\left (\int \frac{1}{\sqrt{5+3 x^2}} \, dx,x,\sqrt{1+4 x}\right )}{84934656}\\ &=\frac{213575 \sqrt{2+3 x} \sqrt{1+4 x}}{42467328}+\frac{42715 (2+3 x)^{3/2} \sqrt{1+4 x}}{15925248}-\frac{8543 (2+3 x)^{5/2} \sqrt{1+4 x}}{995328}+\frac{(4103-7968 x) (2+3 x)^{5/2} (1+4 x)^{3/2}}{829440}+\frac{1}{72} x^2 (2+3 x)^{5/2} (1+4 x)^{3/2}+\frac{1067875 \sinh ^{-1}\left (\sqrt{\frac{3}{5}} \sqrt{1+4 x}\right )}{84934656 \sqrt{3}}\\ \end{align*}
Mathematica [A] time = 0.140451, size = 75, normalized size = 0.51 \[ \frac{6 \sqrt{3 x+2} \sqrt{4 x+1} \left (106168320 x^5+94666752 x^4+4119552 x^3-1849728 x^2+1089592 x-881613\right )+5339375 \sqrt{3} \sinh ^{-1}\left (\sqrt{\frac{3}{5}} \sqrt{4 x+1}\right )}{1274019840} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.013, size = 157, normalized size = 1.1 \begin{align*}{\frac{1}{2548039680}\sqrt{2+3\,x}\sqrt{4\,x+1} \left ( 1274019840\,{x}^{5}\sqrt{12\,{x}^{2}+11\,x+2}+1136001024\,{x}^{4}\sqrt{12\,{x}^{2}+11\,x+2}+49434624\,{x}^{3}\sqrt{12\,{x}^{2}+11\,x+2}-22196736\,{x}^{2}\sqrt{12\,{x}^{2}+11\,x+2}+5339375\,\ln \left ({\frac{11\,\sqrt{3}}{12}}+2\,x\sqrt{3}+\sqrt{12\,{x}^{2}+11\,x+2} \right ) \sqrt{3}+13075104\,\sqrt{12\,{x}^{2}+11\,x+2}x-10579356\,\sqrt{12\,{x}^{2}+11\,x+2} \right ){\frac{1}{\sqrt{12\,{x}^{2}+11\,x+2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 2.65445, size = 163, normalized size = 1.12 \begin{align*} \frac{1}{24} \,{\left (12 \, x^{2} + 11 \, x + 2\right )}^{\frac{3}{2}} x^{3} - \frac{1}{960} \,{\left (12 \, x^{2} + 11 \, x + 2\right )}^{\frac{3}{2}} x^{2} - \frac{403}{92160} \,{\left (12 \, x^{2} + 11 \, x + 2\right )}^{\frac{3}{2}} x + \frac{22933}{6635520} \,{\left (12 \, x^{2} + 11 \, x + 2\right )}^{\frac{3}{2}} - \frac{42715}{1769472} \, \sqrt{12 \, x^{2} + 11 \, x + 2} x + \frac{1067875}{509607936} \, \sqrt{3} \log \left (4 \, \sqrt{3} \sqrt{12 \, x^{2} + 11 \, x + 2} + 24 \, x + 11\right ) - \frac{469865}{42467328} \, \sqrt{12 \, x^{2} + 11 \, x + 2} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.66253, size = 312, normalized size = 2.14 \begin{align*} \frac{1}{212336640} \,{\left (106168320 \, x^{5} + 94666752 \, x^{4} + 4119552 \, x^{3} - 1849728 \, x^{2} + 1089592 \, x - 881613\right )} \sqrt{4 \, x + 1} \sqrt{3 \, x + 2} + \frac{1067875}{1019215872} \, \sqrt{3} \log \left (8 \, \sqrt{3}{\left (24 \, x + 11\right )} \sqrt{4 \, x + 1} \sqrt{3 \, x + 2} + 1152 \, x^{2} + 1056 \, x + 217\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 3.1315, size = 181, normalized size = 1.24 \begin{align*} \frac{1}{23592960} \,{\left (2 \,{\left (12 \,{\left (2 \,{\left (8 \,{\left (120 \, x - 109\right )}{\left (4 \, x + 1\right )} + 1845\right )}{\left (4 \, x + 1\right )} - 1415\right )}{\left (4 \, x + 1\right )} - 62545\right )}{\left (4 \, x + 1\right )} + 427925\right )} \sqrt{4 \, x + 1} \sqrt{3 \, x + 2} + \frac{1}{6635520} \,{\left (2 \,{\left (12 \,{\left (18 \,{\left (96 \, x - 61\right )}{\left (4 \, x + 1\right )} + 1535\right )}{\left (4 \, x + 1\right )} + 13465\right )}{\left (4 \, x + 1\right )} - 153725\right )} \sqrt{4 \, x + 1} \sqrt{3 \, x + 2} - \frac{1067875}{254803968} \, \sqrt{3} \log \left (-\sqrt{3} \sqrt{4 \, x + 1} + 2 \, \sqrt{3 \, x + 2}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]